#ifndef __EKF_MM_H__
#define __EKF_MM_H__

#include <global/header/types.h>

void *ekf_valloc(uint32_t size);
void  ekf_vfree(void *ptr);

void *ekf_mmio_alloc(uint32_t size, physaddr_t start);
void  ekf_vfree(void *ptr);

void *ekf_alloc(uint32_t size);
void  ekf_free(void *ptr);

void *ekf_balloc(uint32_t size);
void  ekf_bfree(void *ptr);

void *ekf_palloc(uint32_t size, int dma);
void  ekf_pfree(void *ptr);

#endif
